✓ Formal verification

type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers

A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·15h·
Discuss: Lobsters, Hacker News
🔌Embedded
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·4d·
Discuss: Hacker News
🔌Embedded
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
🔌Embedded
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔌Embedded
Linear Types for Programmers
twey.io·11h·
Discuss: Hacker News
🔌Embedded
I Generated 1 Billion Tokens (So You Don't Have To): Introducing ReasonScape
reddit.com·1d·
Discuss: r/LocalLLaMA
🤖AI
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·11h·
Discuss: Hacker News
🤖AI
A Library Approach to Constant Template Parameters
brevzin.github.io·14h·
Discuss: Hacker News, r/cpp
🔌Embedded
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
🤖AI
Encoding SAT in OCaml GADTs
farlow.dev·6d·
Discuss: Hacker News
🔌Embedded
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·1d·
Discuss: Hacker News
🔌Embedded
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·4d·
Discuss: Hacker News
🤖AI
Someone on GitHub filed a bug report against reality, says P=NP cause causality
github.com·6h·
Discuss: Hacker News
🔌Embedded
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
🤝Using AI for programming
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·15h·
Discuss: Hacker News
🔌Embedded
The Rubik's Cube Perfect Scramble
solutionslookingforproblems.com·13h·
Discuss: Lobsters, Hacker News
🔌Embedded
AI Thinking, Fast and Slow
danmu.nz·6h·
Discuss: Hacker News
🤖AI
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·14h·
Discuss: Hacker News
🤝Using AI for programming
DoubleAgents: Fine-tuning LLMs for Covert Malicious Tool Calls
medium.com·1d·
Discuss: r/LocalLLaMA
🤖AI
Onboarding for Coding Agents
fuzzycomputer.com·14h·
Discuss: Hacker News
🤝Using AI for programming